641. Tools and algorithms for the construction and analysis of systems :
Author: Dirk Beyer, Marieke Huisman (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
Classification :
QA76
.
9
.
S88
642. Tools and algorithms for the construction and analysis of systems :
Author: Tiziana Margaria, Bernhard Steffen, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
643. Tools and algorithms for the construction and analysis of systems :
Author: Tomáš Vojnar, Lijun Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.
Classification :
QA76
.
9
.
S88
644. Tools for Practical Software Verification :
Author: edited by Bertrand Meyer, Martin Nordio.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
V47
E358
2012
645. Topics in cryptology -- CT-RSA 2018 :
Author: Nigel P. Smart (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data encryption (Computer science), Congresses.,Business & Economics-- Information Management.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information architecture.,Network hardware.,Software Engineering.
Classification :
QA76
.
9
.
A25
646. Towards Evolvable Hardware :
Author: edited by Eduardo Sanchez, Marco Tomassini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
TK7888
.
4
E358
1996
647. Trace-based post-silicon validation for VLSI circuits
Author: / by Xiao Liu, Qiang Xu
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Integrated circuits, Very large scale integration, Design and construction,Integrated circuits, Verification,COMPUTERS / Logic Design, bisacsh,TECHNOLOGY & ENGINEERING / Electronics / Circuits / Logic, bisacsh,TECHNOLOGY & ENGINEERING / Electronics / Circuits / VLSI & ULSI, bisacsh,Integrated circuits, Verification, fast,Integrated circuits, Very large scale integration, Design and construction, fast,Engineering,Computer science,Systems engineering,Circuits and Systems,Processor Architectures,Semiconductors
Classification :
E-BOOK
648. Transactions on computational science XXXIII /
Author: Marina L. Gavrilova, C.J. Kenneth Tan (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Internet of things.,Wireless communication systems.,Computer Applications.,Computer Communication Networks.,Logic Design.,Mathematics of Computing.,Operating Systems.,Theory of Computation.,Computer architecture & logic design.,Computer science.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Information technology: general issues.,Internet of things.,Mathematical theory of computation.,Network hardware.,Operating systems.,Wireless communication systems.
Classification :
TK5105
.
8857
649. Transactions on engineering technologies :
Author: Haeng Kon Kim, Mahyar A. Amouzegar, Sio-long Ao, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses,Engineering, Congresses,Technological innovations, Congresses,Technology, Congresses
Classification :
TA5
650. Trends in Artificial Intelligence :
Author: edited by Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer Science.
Classification :
Q334
.
E358
1991
651. Trends in Functional Programming :
Author: edited by Jay McCarthy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.
Classification :
QA76
.
62
E358
2014
652. Trends in Functional Programming
Author: \ Jurriaan Hage , Jay McCarthy (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامههای کامپیوتری -- کنگره ها ,ساختار دادهها -- کنگره ها
Classification :
QA
76
.
62
.
T7
2015
E-Book
,
653. Trends in functional programming :
Author: Michał Pałka, Magnus Myreen (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
Classification :
QA76
.
62
.
I58
2018
654. Trends in functional programming :
Author: David Van Horn, John Hughes (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
Classification :
QA76
.
62
655. Trends in functional programming :
Author: edited by Meng Wang, Scott Owens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
62
656. Turing's connectionism :
Author: Christof Teuscher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Genetischer Algorithmus.,Konnektionistisches Netz.,Turing-Maschine.
Classification :
QA76
.
87
C475
2002
657. Typed Lambda Calculi and Applications :
Author: edited by Marc Bezem, Jan Friso Groote.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.
658. Typed Lambda Calculi and Applications :
Author: edited by Masahito Hasegawa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Computer science.,Logic design.
Classification :
QA9
.
5
E358
2013
659. Typed Lambda Calculi and Applications :
Author: edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Lambda calculus -- Congresses.,Logic design.
Classification :
QA9
.
5
E358
1995
660. Ubiquitous communications and network computing :
Author: Navin Kumar, R. Venkatesha Prasad (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Computer science, Congresses.,Internet of things, Congresses.,Computer networks.,Computer science.,Internet of things.
Classification :
TK5105
.
5
